O que é disjunção exclusiva?

A disjunção exclusiva (ou XOR, do inglês Exclusive OR) é uma operação lógica binária que retorna verdadeiro apenas quando um e apenas um dos operandos é verdadeiro. Em outras palavras, a disjunção exclusiva é verdadeira se os operandos forem diferentes entre si.

A tabela da verdade da disjunção exclusiva é a seguinte:

A  B  Resultado
--------------
V  V    F
V  F    V
F  V    V
F  F    F

A disjunção exclusiva pode ser representada em diversas linguagens de programação com os símbolos ^ ou XOR. Por exemplo, em Python, podemos usar o operador ^ para realizar a operação XOR:

a = True
b = False
resultado = a ^ b
print(resultado) # resultado será True